Knowledge-theoretic Protocols for Wireless Sensor Networks

The need for novel abstractions for Wireless Sensor Networks inspired the exploration of possible knowledge theoretic models for these networks. Abstracting Wireless Sensor Networks as knowledge theoretic multiagent systems could enable the systematic design and verification of protocols, by examining whether a required state of knowledge is reached in the network. Such an abstraction can also be used to derive certain properties and limitations for classes of protocols. The use of a knowledge theoretic model for Wireless Sensor Networks is thus investigated, along with examples of how such a model would facilitate protocol design and verification. An example knowledge-based protocol is examined, and evaluated through experimental simulation and off-line analysis.